- типов
- типовой* * *ти́пов, станда́ртен птиповой
Български-руски речник. 2013.
типов
Смотреть что такое "типов" в других словарях:
ТИПОВ ТЕОРИЯ — система расширенного предикатов исчисления или аксиоматич. теории множеств, включающая переменные различных типов (сортов, ступеней, порядков). Различные системы Т. т. были предложены (впервые – Б. Расселом в 1908) в качестве одной из… … Философская энциклопедия
Типов теория (в логике) — Типов теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств, включающая переменные различных «типов» (сортов, ступеней, порядков). Формальные объекты этой теории, согласно системе Рассела Уайтхеда,… … Большая советская энциклопедия
Типов теория (в химии) — Типов теория в химии, одна из ведущих химических теорий середины 19 в. В 1839 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория) другими в немногих «типичных»… … Большая советская энциклопедия
ТИПОВ ИССЛЕДОВАНИЕ — см. Тип. Философский энциклопедический словарь. 2010 … Философская энциклопедия
Типов теория — I Типов теория в химии, одна из ведущих химических теорий середины 19 в. В 1839 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория) другими в немногих… … Большая советская энциклопедия
ТИПОВ, ОТНОШЕНИЕ К ЧИСЛУ СИМВОЛОВ — В исследованиях языка – отношение числа разных типов слов к общему числу символов в системе языкА. В наиболее часто используемом смысле под числом символов понимается общее число слов в языке, а под числом типов – общее число различных типов слов … Толковый словарь по психологии
типов теория — система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные,… … Словарь терминов логики
ТИПОВ ТЕОРИЯ — формальная теория 1 го порядка (см. Формальная система), один из вариантов к рой простая теория типов описан ниже. Термин лТ. т … Математическая энциклопедия
типовість — вості, ж. 1) Властивість за знач. типовий 1), 2). Типовість обличчя. 2) Поєднання в одній особі, в одному явищі індивідуальних, своєрідних рис, ознак і властивостей, характерних для сукупності осіб, явищ … Український тлумачний словник
типов — прил. еднообразен, еднакъв, едноформен, уеднаквен, стандартизиран, по образец прил. общоприет, установен, стандартен, нормален, обикновен … Български синонимен речник
ТИПОВ ТЕОРИЯ — см. Органическая химия … Химическая энциклопедия
